查詢 text:Computer systems Reliability. ,共 20 筆
查詢再細分
-
- 語言
- 英語(20)
-
- 作者
- Bahar, R. Iris.(1)
- Basten, Twan.(1)
- Benso, Alfredo.(1)
- Bolger, Fergus.(1)
- Buttazzo, Giorgio C.,(1)
- Cohen, Michael L.(1)
- Crnkovic, Ivica.(1)
- Dai, Yuan-Shun.(1)
- Dimitrakos, Theo.(1)
- Duffy, Michael D.(1)
-
- 主題
- COMPUTERS(13)
- Reliability.(7)
- Fiabilité.(6)
- Computer systems(3)
- Data Processing.(3)
- Systems ArchitectureGeneral.(3)
- Systèmes enfouis (Informatique)(3)
- Systèmes informatiques(3)
- TECHNOLOGY & ENGINEERING(3)
- Computer Science.(2)
- More
-
- 館別
- 總圖(2)
-
3 0 0 0 0
Computing systems reliability :models and analysis
- 作者: Xie, M.
- 出版: New York : Kluwer Academic/Plenum ©2004.
- 資料類型: 電子書
-
14 0 0 0 0
Fault injection techniques and tools for embedded systems reliability evaluation
- 作者: Benso, Alfredo.
- 出版: Boston : Kluwer Academic Publishers ©2003.
- 資料類型: 電子書
-
4 0 0 0 0
Mechanizing proof :computing, risk, and trust
- 作者: MacKenzie, Donald A.
- 出版: Cambridge, Mass. : MIT Press ©2001.
- 資料類型: 電子書
-
4 0 0 0 0
Building reliable component-based software systems
- 作者: Crnkovic, Ivica.
- 出版: Boston : Artech House ©2002.
- 資料類型: 電子書
-
32 0 0 0 0
Reliability issues for DoD systems :report of a workshop
- 作者: Samaniego, Francisco J.
- 出版: Washington, D.C. : National Academies Press ©2002.
- 資料類型: 電子書
-
4 0 0 0 0
Trust management :second international conference, iTrust 2004, Oxford, UK, March 29-April 1, 2004 : proceedings
- 作者: Jensen, Christian D.
- 出版: Berlin ;London : Springer 2004.
- 資料類型: 電子書
-
5 0 0 0 0
Architecting dependable systems II
- 作者: Lemos, Rogério de,
- 出版: Berlin ;New York : Springer 2004.
- 資料類型: 電子書
-
9 0 0 0 0
Getting started with openVMS system management :a guide for new users
- 作者: Duffy, Michael D.
- 出版: Boston : Digital Press ©2003.
- 資料類型: 電子書
-
4 0 0 0 0
Formal methods for embedded distributed systems :how to master the complexity
- 作者: Kordon, Fabrice.
- 出版: Boston : Kluwer Academic ©2004.
- 資料類型: 電子書
-
6 0 0 0 0
Hard real-time computing systems :predictable scheduling algorithms and applications
- 作者: Buttazzo, Giorgio C.,
- 出版: Boston : Kluwer Academic Publishers ©1997.
- 資料類型: 電子書